Opérateur existentiel (n.m.)

quantificateur logique d'une proposition qui affirme l'existence d'au moins une chose pour laquelle cette proposition est vraie <ex> le quantificateur existentiel est souvent écrit "!" ou "∃"</ex> <ex>∃ x tel que x+1=2</ex>